Knot much like tonk

Tonk- A Full Mathematical Solution

There is a long tradition (See e.g. [9, 10]) starting from [12], according to which the meaning of a connective is determined by the introduction and elimination rules which are associated with it. The supporters of this thesis usually have in mind natural deduction systems of a certain ideal type (explained in Section 3 below). Unfortunately, already the handling of classical negation requires...

Cyclic Quotients of Knot like Groups

We generalize a somewhat weakened form of the the cyclic surgery theorem to a wider class of knot-like groups.

Prior’s Tonk and Proof-Theoretic Harmony

Arthur Prior’s logical connective “tonk” [3] has given rise to a number of debates on the nature of logical constants, making it compelling to explicate criteria to exclude pathological connectives, such as tonk, from genuine logical constants. In his seminal paper [2], William Lawvere proposed to understand logical constants as adjoint functors, giving rise to the discipline of categorical (or...

Seems like a touch too much.

We are very much like each other